Issue610-module.agda:29,8-40
ack (set _) !=< ⊥
when checking that the expression subst (λ x → x) (cong ack hah) _
has type ⊥
